This essay attempts to implement epistemic logic through a non-classical inference relation. Given that relation, an account of '(the individual) a knows that A' is constructed as an unfamiliar non-normal modal logic. One advantage to this approach is a new analysis of the skeptical argument.

"The best known approaches to "reasoning with inconsistent data" require a logical framework which is decidedly non-classical. An alternative is presented here, beginning with some motivation which has been surprised in the work of C.I. Lewis, which does not require ripping great swatches from the fabric of classical logic. In effect, the position taken in this essay is representative of an approach in which one assumes the correctness of classical methods excepting only the cases in which the premise set is (...) inconsistent. (shrink)

The standard semantics for sentential modal logics uses a truth condition for necessity which first appeared in the early 1950s. in this paper the status of that condition is investigated and a more general condition is proposed. in addition to meeting certain natural adequacy criteria, the more general condition allows one to capture logics like s1 and s0.9 in a way which brings together the work of segerberg and cresswell.

In the fourteenth century, Duns Scotus suggested that the proper analysis of modality required not just moments of time but also “moments of nature”. In making this suggestion, he broke with an influential view first presented by Diodorus in the early Hellenistic period, and might even be said to have been the inventor of “possible worlds”. In this essay we take Scotus’ suggestion seriously devising first a double-index logic and then introducing the temporal order. Finally, using the temporal order, we (...) define a modal order. This allows us to present modal logic without the usual interpretive questions arising concerning the relation called variously ‘accessibility’, ‘alternativeness’, and, ‘relative possibility.’ The system in which this analysis is done is one of those which have come to be called a hybrid logic. (shrink)

H. B. Smith, Professor of Philosophy at the influential 'Pennsylvania School' was (roughly) a contemporary of C. I. Lewis who was similarly interested in a proper account of 'implication'. His research also led him into the study of modal logic but in a different direction than Lewis was led. His account of modal logic does not lend itself as readily as Lewis' to the received 'possible worlds' semantics, so that the Smith approach was a casualty rather than a beneficiary of (...) the renewed interest in modality. In this essay we present some of the main points of the Smith approach, in a new guise. (shrink)

. This paper examines the underpinnings of the preservationist approach to characterizing inference relations. Starting with a critique of the ‘truth-preservation’ semantic paradigm, we discuss the merits of characterizing an inference relation in terms of preserving consistency. Finally we turn our attention to the generalization of consistency introduced in the early work of Jennings and Schotch, namely the concept of level.

In the late 1960s and early 1970s, Dana Scott introduced a kind of generalization (or perhaps simplification would be a better description) of the notion of inference, familiar from Gentzen, in which one may consider multiple conclusions rather than single formulas. Scott used this idea to good effect in a number of projects including the axiomatization of many-valued logics (of various kinds) and a reconsideration of the motivation of C.I. Lewis. Since he left the subject it has been vigorously prosecuted (...) by a number of authors under the heading of abstract entailment relations where it has found an important role in both algebra and theoretical computer science. In this essay we go back to the beginnings, as presented by Scott, in order to make some comments about Scott’s cut rule, and show how much of Scott’s main result may be applied to the case of single-conclusion logic. (shrink)

Anybody who steeps themselves in the lore of philosophical logic (in the sense of that term made popular by the Journal of Philosophical Logic) will eventually come to see that model theory or semantics, as it is more popularly called, is the principal tool and preoccupation of the discipline.

This account of the logic of rules is stratified. The various layers consist of the logic of states, i.e. essentially classical logic (of the usual sort), the logic of agents and action types (or as I call them routines), and the logic of rules proper, as the top layer. It is assumed in this essay that the reader has an adequate grasp of classical logic.

In this essay Gillman Payette and Peter Schotch present an account of the key notions of level and forcing in much greater generality than has been managed in any of the early publications. In terms of this level of generality the hoary notion that correct inference is truth-preserving is carefully examined and found wanting. The authors suggest that consistency preservation is a far more natural approach, and one that can, furthermore, characterize an inference relation. But an examination of (...) the usual account of consistency reveals problems that, in general, can be corrected by means of an auxiliary notion of inference (forcing) which relies upon a kind of generalization of consistency, called level. Preservation of the latter is shown to be another of the properties which characterize a logic and forcing is shown to preserve it. The essay ends with a sketch of a result which locates forcing among all possible level-preserving inference relations. (shrink)

Paraconsistent logic is an area of philosophical logic that has yet to find acceptance from a wider audience. The area remains, in a word, disreputable. In this essay, we try to reassure potential consumers that it is not necessary to become a radical in order to use paraconsistent logic. According to the radicals, the problem is the absurd classical account of contradiction: Classically inconsistent sets explode only because bourgeois classical semantics holds, in the face of overwhelming evidence to the contrary, (...) that both A and ∼ A cannot simultaneously be true! We suggest (more modestly) that there is, at least sometimes, something else worth preserving, even in an inconsistent, unsatisfiable premise set. In this paper we present, in a new guise, a very general version of this “preservationist” approach to paraconsistency. (shrink)

Volume 20, Issue 7, July 2020, Page 75-77.

The study's goal was to examine the socially responsible power use in the context of ethical leadership as an explanatory mechanism of the ethical leadership-follower outcomes link. Drawing on the attachment theory (Bowlby, 1969/1982 ), we explored a power-based process model, which assumes that a leader's personal power is an intervening variable in the relationship between ethical leadership and follower outcomes, while incorporating the moderating role of followers' moral identity in this transformation process. The results of a two-wave field study (...) ( N = 235) that surveyed employees and a scenario experiment ( N = 169) fully supported the proposed (moderated) mediation models, as personal power mediated the positive relationship between ethical leadership and a broad range of tested follower outcomes (i.e., leader effectiveness, follower extra effort, organizational commitment, job satisfaction, and work engagement), as well as the interactive effects of ethical leadership and follower moral identity on these follower outcomes. Theoretical and practical implications are discussed. (shrink)

One of Israel Kirzner’s less wellknown contributions is to the theory of capital. In this paper, we link the Austrian theory of capital and the theory of economic organization. Our starting point is the key Austrian notion of capital heterogeneity which we interpret in terms of attributes. Most capital assets are multi-attribute in nature, and many attributes may not be known to entrepreneurs. This fosters a need for experimenting with capital combinations. Because there are costs of measuring attributes, this process (...) has implications for economic organization. Thus, we argue that novel implications for the understanding of ownership and the existence and boundaries of firms may be teased out of such a perspective.La théorie du capital représente une des contributions les moins connues d’Israel Kirzner. Dans cet article, nous établissons le lien entre la théorie autrichienne du capital et la théorie de l’organisation économique. Notre point de départ est la notion autrichienne fondamentale d’hétérogénéité du capital que nous interprétons en termes d’attributs. De par leur nature, la plupart des biens capitaux possèdent plusieurs attributs qui peuvent demeurer inconnus aux entrepreneurs. Ceci accroît la nécessité d’expérimenter des combinaisons capitalistiques. Etant donné les coûts qu’entraîne la mesure des attributs, ce processus a des implications quant à l’organisation économique. Ainsi, cette perspective permet de tirer de nouvelles implications pour notre compréhension de la propriété, de l’existence et de la taille des firmes. (shrink)

Recent research has shown that in referendum elections, the presence of interdependence within voter preferences can lead to election outcomes that are undesirable and even paradoxical. However, most of the examples leading to these undesirable outcomes involve contrived voting situations that would be unlikely to occur in actual elections. In this paper, we use computer simulations to investigate the desirability of referendum election outcomes. We show that highly undesirable election outcomes occur not only in contrived examples, but also in randomly (...) generated elections. Our data suggest that the presence of interdependent preferences significantly increases the likelihood of such undesirable outcomes, and that certain alternative voting methods, such as sequential voting and setwise aggregation, hold the potential to produce outcomes that more accurately reflect the will of the electorate. (shrink)

Precision livestock farming (PLF) is the management of livestock using the principles and technology of process engineering. Key to PLF is the dense monitoring of variegated parameters, including animal growth, output of produce (e.g. milk, eggs), diseases, animal behaviour, and the physical environment (e.g. thermal micro-environment, ammonia emissions). While its proponents consider PLF a win-win strategy that combines production efficiency with sustainability goals and animal welfare, critics emphasise, inter alia, the potential interruption of human-animal relationships. This paper discusses the notion (...) that the objectification of animals by PLF influences the developmental pathways of conventional industrial farming. We conduct a conceptual analysis of objectification by comparing discussions in feminist ethics and animal ethics. We find that in animal ethics, objectification includes deontological arguments regarding instrumentalisation, de-animalisation, alienation, commodification and quantification of animals. The focus on socio-political context and relationality connects these debates to central ideas in care ethics. We adopt a care ethics perspective to assess the implications of the objectification of animals in livestock farming. The basic claim is that sensory knowledge symbolised by the farmers’ unity of hand, head and heart would make it harder to objectify animals than abstract and instrumental reasoning where the pursuit of knowledge is intertwined with the pursuit of control, as in mainstream PLF. Despite of what can be considered as a good caring relationship between farmers and animals that is mediated by PLF, people involved in conventional industrial farming still seem to become further detached from farmers and animals, because the PLF system itself is objectifying. PLF redefines the notion of care, in terms of data transparency, standardisation of methods for analysis, real-time collection and processing of data, remote control, and the use of digital platforms. This creates new expectations and requires a redistribution of responsibilities within a wider scope of relations in the value chain. (shrink)